- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by J. P. Cleave
13 found
Order:
- (1 other version)A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Mathematical Logic Quarterly 9 (22):331-346.
- Creative Functions.J. P. Cleave - 1961 - Mathematical Logic Quarterly 7 (11-14):205-212.
- The notion of validity in logical systems with inexact predicates.J. P. Cleave - 1970 - British Journal for the Philosophy of Science 21 (3):269-274.
- and antagonize the reader'. In view of this and his own introductory remarks, it is not clear why the Lukasiewicz systems should be rescued after remaining for fifty years a mere cerebral bauble.J. P. Cleave - 1976 - In John P. Cleave & Stephan Körner, Philosophy of logic: papers and discussions. Berkeley: University of California Press. pp. 88.No categories
- Creative Functions.J. P. Cleave - 1964 - Journal of Symbolic Logic 29 (2):102-103.
- (1 other version)Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain).J. P. Cleave - 1976 - Mathematical Logic Quarterly 22 (1):481-500.
- Some Properties of Recursively Inseparable Sets.J. P. Cleave - 1970 - Mathematical Logic Quarterly 16 (2):187-200.
- The axiomatisation of theories of material necessity.J. P. Cleave - 1979 - Notre Dame Journal of Formal Logic 20 (1):180-190.
- Adrian Carpentier M.. Creative sequences and double sequences. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 35–61. [REVIEW]J. P. Cleave - 1970 - Journal of Symbolic Logic 35 (4):590-590.
- R. H. THOMASON : "Formal Philosophy: selected papers of Richard Montague". [REVIEW]J. P. Cleave - 1977 - Ratio (Misc.) 19 (1):96.Export citation
Bookmark - Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 , pp. 135–145. [REVIEW]J. P. Cleave - 1965 - Journal of Symbolic Logic 30 (3):391-392.
- V. D. Vuckovic. Creative and weakly creative sequences of r.e. sets. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 478–483. [REVIEW]J. P. Cleave - 1969 - Journal of Symbolic Logic 34 (2):296-296.
- Webb Miller. Recursive function theory and numerical analysis. Journal of computer and system sciences vol. 4 , pp. 465–472. [REVIEW]J. P. Cleave - 1974 - Journal of Symbolic Logic 39 (2):346.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-qtxsx uwo